Jim Ellis (2009) Derek Jarman's Angelic Conversations
نویسندگان
چکیده
منابع مشابه
Angelic CHR
Implementations of CHR follow a committed-choice forwardchaining execution model: the non-determinism of the abstract semantics is partly re ned with extra-logical syntactic convention on the program order and possibly notations for weighted semantics (with priorities or probabilities), and partly left unspeci ed in the underlying compiler. This paper proposes an alternative execution model whi...
متن کاملAngelic processes
In the formal modelling of systems, demonic and angelic nondeterminism play fundamental roles as abstraction mechanisms. The angelic nature of a choice pertains to the property of avoiding failure whenever possible. As a concept, angelic choice first appeared in automata theory and Turing machines, where it can be implemented via backtracking. It has traditionally been studied in the refinement...
متن کاملDerek J
Derek J Roberts ([email protected]) Simon Leigh-Smith ([email protected]) Peter D Faris ([email protected]) Chad G Ball ([email protected]) Helen Lee Robertson ([email protected]) Christopher Blackmore ([email protected]) Elijah Dixon ([email protected]) Andrew W Kirkpatrick (Andrew.Kirkpatrick@a...
متن کاملArtificial Intelligence: Applications in the Future of Software Engineering by Derek Partridge Ellis Horwood, Chichester, 1986, 241 pp. (£25.00)
Make more knowledge even in less time every day. You may not always spend your time and money to go abroad and get the experience and knowledge by yourself. Reading is a good alternative to do in getting this desirable knowledge and experience. You may gain many things from experiencing directly, but of course it will spend much money. So here, by reading artificial intelligence applications in...
متن کاملThe Magnus-Derek game
We introduce a new combinatorial game between two players: Magnus and Derek. Initially, a token is placed at position 0 on a round table with n positions. In each round of the game Magnus chooses the number of positions for the token to move, and Derek decides in which direction, + (clockwise) or − (counterclockwise), the token will be moved. Magnus aims to maximize the total number of position...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Film-Philosophy
سال: 2011
ISSN: 1466-4615
DOI: 10.3366/film.2011.0020